カントール空間、ベール空間、および関連する位相空間の構造に関する完全な解説

強三角不等式 $d(x, z) \le \max \{ d(x, y), d(y, z) \}$ を示す。$x = z$ の場合は自明である。$x \neq z$ とし、$d(x, z) = 2^{-k}$ とおく。すなわち、$x$ と $z$ は最初の $k$ 個の座標が一致し、第 $k$ 座標で $x_k \neq z_k$ となる。任意の $y \in X$ をとるとき、$y_k$ は $x_k$ と異なるか、$z_k$ と異なるかの少なくとも一方を満たす。前者の場合は $d(x, y) \ge 2^{-k}$ であり、後者の場合は $d(y, z) \ge 2^{-k}$ である。いずれにせよ $\max \{ d(x, y), d(y, z) \} \ge 2^{-k} = d(x, z)$ が成立する。
また、中心 $x \in X$、半径 $r = 2^{-n+1}$ の開球 $B_r(x) = \{ y \in X \mid d(x, y) < r \}$ を考えると、これは $d(x, y) \le 2^{-n}$ と同値であり、すなわち最初の $n$ 個の座標が一致する集合 $U(x_0, \dots, x_{n-1})$ に他ならない。球全体が開基をなすことより、$d$ による位相と直積位相は一致する。

定義より $V$ は開集合である。その補集合を考えると、 $$ X \smallsetminus V = \bigcup \{ U(b_0, \dots, b_{n-1}) \mid (b_0, \dots, b_{n-1}) \in A^n \smallsetminus \{(a_0, \dots, a_{n-1})\} \} $$ と表される。開集合の任意の和集合は開集合であるから、$X \smallsetminus V$ は開集合である。したがって $V$ は閉集合でもある。

補題 1.3 より $2^\mathbb{N}$ は超距離 $d$ によって距離化可能である。
完備性： $2^\mathbb{N}$ 内のコーシー列 $(x^{(m)})_{m \in \mathbb{N}}$ をとる。任意の $k \in \mathbb{N}$ に対して、ある $M \in \mathbb{N}$ が存在し、$m, l \ge M$ ならば $d(x^{(m)}, x^{(l)}) \le 2^{-k}$ となる。これは $m, l \ge M$ において各列の最初の $k$ 個の座標が完全に一致することを意味する。したがって、各 $n \in \mathbb{N}$ に対して座標列 $(x^{(m)}_n)_{m \in \mathbb{N}}$ は最終的に一定の値 $x_n \in \{0, 1\}$ に収束する。数列 $x = (x_n)_{n \in \mathbb{N}} \in 2^\mathbb{N}$ を定めると、$x^{(m)}$ は距離 $d$ において $x$ に収束する。よって完備である。
可分性： 最終的にすべて $0$ となる数列全体の集合 $D = \{ x \in 2^\mathbb{N} \mid \exists N, \forall n \ge N, x_n = 0 \}$ を考える。$D = \bigcup_{N=0}^\infty \{ x \in 2^\mathbb{N} \mid \forall n \ge N, x_n = 0 \}$ であり、各成分集合は有限集合 $\{0, 1\}^N$ と同型であるから、$D$ は可算和集合として可算集合である。任意の $y \in 2^\mathbb{N}$ と任意のシリンダー近傍 $U(y_0, \dots, y_{n-1})$ に対し、$z = (y_0, \dots, y_{n-1}, 0, 0, \dots) \in D \cap U(y_0, \dots, y_{n-1})$ が存在する。よって $D$ は稠密であり、$2^\mathbb{N}$ は可分である。

シリンダー集合全体の族は clopen 集合からなる開基をなすため、$2^\mathbb{N}$ は定義により零次元である。
一般に、コンパクト Hausdorff 空間 $Y$ において、完全不連結であることと零次元であることは同値である。以下にその証明を与える。
$Y$ をコンパクト Hausdorff 空間とし、完全不連結であると仮定する。任意の $y \in Y$ とその任意の開近傍 $U$ をとる。$A = Y \smallsetminus U$ は閉集合であり、コンパクト空間の閉部分集合としてコンパクトである。$y$ の準成分 (quasi-component) $Q_y$（$y$ を含むすべての clopen 集合の共通部分）を考えると、コンパクト Hausdorff 空間においては $Q_y$ は $y$ の連結成分と一致する。$Y$ は完全不連結であるから $Q_y = \{y\}$ である。したがって、任意の $z \in A$ に対して $z \notin Q_y$ であり、$y \in C_z$ かつ $z \notin C_z$ となる clopen 集合 $C_z$ が存在する。$\{ Y \smallsetminus C_z \}_{z \in A}$ は $A$ の開被覆となる。$A$ のコンパクト性より、有限部分被覆 $\{ Y \smallsetminus C_{z_i} \}_{i=1}^m$ が存在する。$C = \bigcap_{i=1}^m C_{z_i}$ とおくと、$C$ は有限個の clopen 集合の交わりであるから clopen であり、$y \in C$ かつ $C \cap A = \varnothing$（すなわち $C \subset U$）を満たす。以上より、$y$ の clopen な近傍基が存在するので $Y$ は零次元である。

孤立点の非存在： 任意の $x \in 2^\mathbb{N}$ とその任意の基本開近傍 $V = U(x_0, \dots, x_{n-1})$ をとる。点 $y \in 2^\mathbb{N}$ を、$i < n$ で $y_i = x_i$、$y_n = 1 - x_n$、$i > n$ で $y_i = x_i$ と定義すると、$y \in V$ かつ $y \neq x$ である。したがって $\{x\}$ は開集合になり得ず、孤立点は存在しない。
コンパクト性： 離散空間 $\{0, 1\}$ は有限集合であるからコンパクトである。Tychonoff の定理により、コンパクト空間の任意個の直積はコンパクトであるため、$2^\mathbb{N}$ はコンパクトである。

写像 $f \colon 2^\mathbb{N} \to C$ を $$ f(x) = \sum_{n=0}^\infty \frac{2 x_n}{3^{n+1}} $$ と定義する。3進展開の性質より、$f$ は $2^\mathbb{N}$ から $C$ への全単射である。
$f$ の連続性を示す。任意の $\varepsilon > 0$ に対し、$3^{-N} < \varepsilon$ となる $N \in \mathbb{N}$ をとる。$d(x, y) \le 2^{-N}$ ならば、 $x$ と $y$ の最初の $N$ 個の座標は一致する。このとき、 $$ |f(x) - f(y)| = \left| \sum_{n=N}^\infty \frac{2 (x_n - y_n)}{3^{n+1}} \right| \le \sum_{n=N}^\infty \frac{2}{3^{n+1}} = \frac{1}{3^N} < \varepsilon $$ となり、$f$ は連続である。コンパクト空間 $2^\mathbb{N}$ から Hausdorff 空間 $C$ への連続全単射は同相写像であるため、$f$ は同相写像である。

定理 2.1 と同様に、離散空間 $\mathbb{N}$ の可算直積として完備距離化可能であり、最終的に $0$ となる整数列全体の集合が可算稠密となるため Polish である。また、シリンダー集合が clopen 開基となるため零次元である。

ある点 $x \in \mathbb{N}^\mathbb{N}$ がコンパクトな近傍 $K$ を持つと仮定して矛盾を導く。 開基の定義より、$x \in V \subset K$ となるシリンダー集合 $V = U(x_0, \dots, x_{n-1})$ が存在する。$V$ は closed であるから、コンパクト集合 $K$ の閉部分集合として $V$ もコンパクトでなければならない。
ここで、$V$ 内の点列 $(y^{(k)})_{k \in \mathbb{N}}$ を次のように構成する： $$ y^{(k)}_i = \begin{cases} x_i & (i < n \text{ のとき}) \\ k & (i = n \text{ のとき}) \\ 0 & (i > n \text{ のとき}) \end{cases} $$ 各 $y^{(k)}$ は最初の $n$ 個の座標が $x$ と一致するため $y^{(k)} \in V$ である。しかし、相異なる $k \neq l$ に対し、$y^{(k)}$ と $y^{(l)}$ は第 $n$ 座標が異なるため、$d(y^{(k)}, y^{(l)}) = 2^{-n}$ となる。したがって、点列 $(y^{(k)})$ のいかなる部分列もコーシー列にならず、収束部分列を持たない。これは距離空間 $V$ のコンパクト性に矛盾する。ゆえに、どの点も局所コンパクトでない。

対偶「孤立点が存在すれば、ある点で局所コンパクトになる」を示す。 $x \in \mathbb{N}^\mathbb{N}$ が孤立点であると仮定する。このとき 1 点集合 $\{x\}$ は開集合である。また $\{x\}$ は有限集合であるからコンパクトである。したがって $\{x\}$ は $x$ のコンパクトな開近傍となり、空間は $x$ において局所コンパクトとなる。対偶が示されたので、どの点も局所コンパクトでない空間には孤立点が存在しない。

以下の 3 段階に分けて証明する。
段階 1: $\mathbb{N}^\mathbb{N} \cong (\mathbb{N}_{>0})^\mathbb{N}$
$\mathbb{N}$ と $\mathbb{N}_{>0} = \{1, 2, 3, \dots\}$ はともに可算無限離散空間であるから、全単射 $j \colon \mathbb{N} \to \mathbb{N}_{>0}$（例えば $j(n) = n + 1$）は同相写像である。各座標に $j$ を適用する写像 $J((x_n)) = (j(x_n))$ は同相写像 $\mathbb{N}^\mathbb{N} \to (\mathbb{N}_{>0})^\mathbb{N}$ を与える。
段階 2: $\mathbb{R} \smallsetminus \mathbb{Q} \cong (0, 1) \smallsetminus \mathbb{Q}$
写像 $h \colon \mathbb{R} \to (-1, 1)$ を $h(x) = \frac{x}{1+|x|}$ と定めると、これは同相写像であり、$x \in \mathbb{Q} \iff h(x) \in \mathbb{Q}$ を満たす。さらに affine 変換 $k(t) = \frac{t+1}{2}$ を合成した $k \circ h \colon \mathbb{R} \to (0, 1)$ も同相写像であり有理数性を保存する。制限により $\mathbb{R} \smallsetminus \mathbb{Q} \cong (0, 1) \smallsetminus \mathbb{Q}$ を得る。
段階 3: $(\mathbb{N}_{>0})^\mathbb{N} \cong (0, 1) \smallsetminus \mathbb{Q}$
$(0, 1)$ 内の任意の無理数 $x$ は、正整数列 $(a_0, a_1, a_2, \dots) \in (\mathbb{N}_{>0})^\mathbb{N}$ を用いて一意に無限連分数展開される： $$ x = \cfrac{1}{a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \ddots}}} $$ この対応を $\phi \colon (\mathbb{N}_{>0})^\mathbb{N} \to (0, 1) \smallsetminus \mathbb{Q}$ とする。連分数の第 $n$ 近似分数を $p_n / q_n$ とすると、初めの $n$ 項 $(a_0, \dots, a_{n-1})$ を固定したシリンダー集合の像は、$p_{n-1}/q_{n-1}$ と $(p_{n-1} + p_{n-2})/(q_{n-1} + q_{n-2})$ を端点とする開区間内の無理数全体と一致する。これらの開区間は $(0, 1) \smallsetminus \mathbb{Q}$ の相対位相の開基をなすため、全単射 $\phi$ は開基を開基に写す。ゆえに $\phi$ は同相写像である。
段階 1〜3 を合成することにより、$\mathbb{N}^\mathbb{N} \cong \mathbb{R} \smallsetminus \mathbb{Q}$ が得られる。

証明を 2 つの同相関係に分ける。
(1) $\mathbb{Z}[[T]] \cong \mathbb{Z}^\mathbb{N}$ の証明：
写像 $\Phi \colon \mathbb{Z}[[T]] \to \mathbb{Z}^\mathbb{N}$ を $\Phi(\sum_{i=0}^\infty a_i T^i) = (a_0, a_1, a_2, \dots)$ と定義する。形式的冪級数はその係数列により一意に決まるため $\Phi$ は全単射である。 $\mathbb{Z}^\mathbb{N}$ の開基をなすシリンダー集合 $U(c_0, \dots, c_{n-1})$ に対し、その $\Phi$ による逆像は $$ \Phi^{-1}(U(c_0, \dots, c_{n-1})) = \{ f \in \mathbb{Z}[[T]] \mid f(T) \equiv \sum_{i=0}^{n-1} c_i T^i \pmod{T^n} \} = g + T^n \mathbb{Z}[[T]] $$ （ただし $g = \sum_{i=0}^{n-1} c_i T^i$）となる。これは $\mathbb{Z}[[T]]$ の開基そのものであるから、$\Phi$ は開基を開基に移す全単射であり、同相写像である。
(2) $\mathbb{Z}^\mathbb{N} \cong \mathbb{N}^\mathbb{N}$ の証明：
写像 $h \colon \mathbb{Z} \to \mathbb{N}$ を $$ h(x) = \begin{cases} 2x & (x \ge 0 \text{ のとき}) \\ -2x - 1 & (x < 0 \text{ のとき}) \end{cases} $$ と定義すると、$h$ は離散空間同士の全単射同相写像である。各座標ごとに $h$ を適用する写像 $H \colon \mathbb{Z}^\mathbb{N} \to \mathbb{N}^\mathbb{N}$、$H(x_0, x_1, \dots) = (h(x_0), h(x_1), \dots)$ を定めると、直積位相の定義より $H$ は全単射同相写像となる。
合成 $H \circ \Phi \colon \mathbb{Z}[[T]] \to \mathbb{N}^\mathbb{N}$ により同相性が示された。

空間の clopen 分割を行って証明する。
$W_0 = \{ f \in \mathbb{Z}((T)) \mid \mathrm{ord}(f) \ge 0 \} = \mathbb{Z}[[T]]$ とおく。
補題 5.2.1: $W_0$ は $\mathbb{Z}((T))$ の clopen 部分集合であり、$W_0 \cong \mathbb{N}^\mathbb{N}$ である。
（証明）$W_0 = \{ f \mid d(f, 0) \le 1 \}$ である。任意の $f \in W_0$ に対し $B_1(f) \subset W_0$ となるため開集合である。また $g \notin W_0$ ならば $r = d(g, 0) > 1$ であり、超距離の性質より $B_r(g) \cap W_0 = \varnothing$ となるので補集合も開集合である。よって $W_0$ は clopen である。相対位相は $\mathbb{Z}[[T]]$ の $T$ 進位相と一致するため、定理 4.2 より $W_0 \cong \mathbb{N}^\mathbb{N}$ である。
補題 5.2.2: 補集合 $U = \mathbb{Z}((T)) \smallsetminus W_0$ について、$U \cong \mathbb{N}^\mathbb{N}$ である。
（証明）$U = \bigsqcup_{k=1}^\infty V_{-k}$ と分解する。ただし $V_{-k} = \{ f \in \mathbb{Z}((T)) \mid \mathrm{ord}(f) = -k \}$ である。超距離空間において中心からの距離が一定の集合は clopen であるため、各 $V_{-k}$ は clopen である。 $f \in V_{-k}$ は $f(T) = \sum_{n=-k}^\infty a_n T^n$ ($a_{-k} \neq 0$) と書ける。写像 $\Psi_k \colon V_{-k} \to (\mathbb{Z} \smallsetminus \{0\}) \times \mathbb{Z}^\mathbb{N}$ を $$ \Psi_k \left( \sum_{n=-k}^\infty a_n T^n \right) = (a_{-k}, (a_{-k+1}, a_{-k+2}, \dots)) $$ と定めると $\Psi_k$ は同相写像である。$\mathbb{Z} \smallsetminus \{0\} \cong \mathbb{N}$ および $\mathbb{Z}^\mathbb{N} \cong \mathbb{N}^\mathbb{N}$ より、$V_{-k} \cong \mathbb{N} \times \mathbb{N}^\mathbb{N} \cong \mathbb{N}^\mathbb{N}$ である。 位相和の性質から $U \cong \bigoplus_{k=1}^\infty \mathbb{N}^\mathbb{N} \cong \mathbb{N} \times \mathbb{N}^\mathbb{N} \cong \mathbb{N}^\mathbb{N}$ を得る。
全体空間の結合：
$\mathbb{Z}((T)) = W_0 \sqcup U \cong \mathbb{N}^\mathbb{N} \oplus \mathbb{N}^\mathbb{N} \cong \{0, 1\} \times \mathbb{N}^\mathbb{N}$ である。 写像 $g \colon \{0, 1\} \times \mathbb{N}^\mathbb{N} \to \mathbb{N}^\mathbb{N}$ を $$ g(0, (x_0, x_1, x_2, \dots)) = (2 x_0, x_1, x_2, \dots) $$ $$ g(1, (x_0, x_1, x_2, \dots)) = (2 x_0 + 1, x_1, x_2, \dots) $$ と定義すると、$g$ は全単射であり、シリンダー集合を開基に写し合うため同相写像である。 したがって、$\mathbb{Z}((T)) \cong \mathbb{N}^\mathbb{N}$ である。

証明 1（開基の直接対応による証明）：
(i) $\mathrm{id} \colon X \to Y$ の連続性：
$Y$ の準開基 $R(a) = \{ x \mid x > a \}$ の $\mathrm{id}$ による逆像（集合として $R(a)$ 自身）が $X$ で開集合であることを示す。 任意な $x \in R(a)$ をとると $x > a$ である。$k = \min \{ n \mid x_n \neq a_n \}$ とおくと $x_k = 1, a_k = 0$ である。 $X$ の基本開集合 $V = U(x_0, \dots, x_k)$ をとる。任意の $y \in V$ について、$i < k$ では $y_i = x_i = a_i$ であり、$y_k = x_k = 1 > 0 = a_k$ となるため、$y > a$ すなわち $y \in R(a)$ である。 ゆえに $x \in V \subset R(a)$ となり、$R(a)$ は $X$ の開集合である。同様に $L(a)$ も $X$ の開集合となるため、$\mathrm{id}$ は連続である。

(ii) $\mathrm{id}^{-1} \colon Y \to X$ の連続性：
$X$ の任意の基本開集合 $C = U(c_0, \dots, c_{n-1})$ が $Y$ で開集合であることを示す。 $u, v \in \{0, 1\}^\mathbb{N}$ を次のように定める： $$ u_i = \begin{cases} c_i & (i < n \text{ のとき}) \\ 0 & (i \ge n \text{ のとき}) \end{cases}, \quad v_i = \begin{cases} c_i & (i < n \text{ のとき}) \\ 1 & (i \ge n \text{ のとき}) \end{cases} $$ このとき $C = [u, v] = \{ x \in \{0, 1\}^\mathbb{N} \mid u \le x \le v \}$ であることを確認する。実際、$x \in C$ ならば明らかに $u \le x \le v$ である。逆に $x \notin C$ とすると、$x_j \neq c_j$ となる最小の $j < n$ が存在する。$x_j = 0$ ($c_j = 1$) ならば $x < u$ であり、$x_j = 1$ ($c_j = 0$) ならば $x > v$ となるため $x \notin [u, v]$ である。
区間 $[u, v] = \{ x \mid u \le x \} \cap \{ x \mid x \le v \}$ が $Y$ で開であることを示すため、$\{ x \mid u \le x \}$ と $\{ x \mid x \le v \}$ が開であることを示す。
・下限 $u$ について： $u = (0, 0, \dots)$ ならば $\{ x \mid u \le x \} = Y$ （全空間）で開である。 $u \neq (0, 0, \dots)$ のとき、$i \ge n$ では $u_i = 0$ であるから、$u_k = 1$ となる最大のインデックス $k$ は $k < n$ に存在する。 数列 $u' \in \{0, 1\}^\mathbb{N}$ を次のように定義する： $$ u'_i = \begin{cases} u_i & (i < k \text{ のとき}) \\ 0 & (i = k \text{ のとき}) \\ 1 & (i > k \text{ のとき}) \end{cases} $$ ここで $u' < u$ である。さらに $u' < z < u$ を満たす $z$ が存在しないことを背理法で示す。 仮にそのような $z$ が存在したとする。$u' < z$ より、両者が初めて異なるインデックスを $m$ とすると $u'_m = 0, z_m = 1$ である。
1) $m < k$ の場合：$i < k$ では $u_i = u'_i$ であるから、$i < m$ で $z_i = u'_i = u_i$ かつ $z_m = 1 > 0 = u'_m = u_m$ となり、$z > u$ となって矛盾する。
2) $m = k$ の場合：$i < k$ で $z_i = u'_i = u_i$ であり、$z_k = 1 = u_k$ となる。$i > k$ において $u_i = 0$ であるから、どのような $z$ であっても $z \ge u$ となり $z < u$ に矛盾する。
3) $m > k$ の場合：$u'_m = 0$ となり得るのは定義より $m \le k$ の場合のみである（$i > k$ では $u'_i = 1$）。したがってこの場合は起こり得ない。
直間の元が存在しないため、$\{ x \mid u \le x \} = \{ x \mid u' < x \} = R(u')$ となり、これは $Y$ の開集合である。
・上限 $v$ について： $v = (1, 1, \dots)$ ならば $\{ x \mid x \le v \} = Y$ で開である。 $v \neq (1, 1, \dots)$ のとき、$i \ge n$ で $v_i = 1$ より、$v_m = 0$ となる最大のインデックス $m$ は $m < n$ に存在する。 数列 $v' \in \{0, 1\}^\mathbb{N}$ を $$ v'_i = \begin{cases} v_i & (i < m \text{ のとき}) \\ 1 & (i = m \text{ のとき}) \\ 0 & (i > m \text{ のとき}) \end{cases} $$ と定義すると、$v < v'$ であり、$v < z < v'$ なる $z$ は存在しない。したがって $\{ x \mid x \le v \} = \{ x \mid x < v' \} = L(v')$ となり、$Y$ の開集合である。
以上より $C = [u, v] = R(u') \cap L(v')$ は $Y$ の 2 つの開集合の交わりであるから $Y$ で開集合である。よって $\mathrm{id}^{-1}$ は連続であり、$\mathrm{id}$ は同相写像である。

証明 2（コンパクト性と Hausdorff 性による証明）：
(1) $X$ のコンパクト性： 定理 2.3 より、$X = \{0, 1\}^\mathbb{N}$ は Tychonoff の定理によりコンパクト空間である。
(2) $Y$ の Hausdorff 性： 相異なる 2 点 $x, y \in Y$ をとる。一般性を失わず $x < y$ とする。
・場合 1: $x < z < y$ となる $z \in Y$ が存在する場合。
$U = L(z) = \{ w \in Y \mid w < z \}$ および $V = R(z) = \{ w \in Y \mid w > z \}$ とおくと、$U, V$ は $Y$ の開集合であり、$x \in U, y \in V$ かつ $U \cap V = \varnothing$ を満たす。
・場合 2: $x < z < y$ となる $z \in Y$ が存在しない場合。
$U = L(y) = \{ w \in Y \mid w < y \}$ および $V = R(x) = \{ w \in Y \mid w > x \}$ とおくと、$U, V$ は $Y$ の開集合であり、$x \in U, y \in V$ である。共通部分は $U \cap V = \{ w \in Y \mid x < w < y \} = \varnothing$ である。
いずれの場合も分離開集合が存在するため、$Y$ は Hausdorff 空間である。
(3) 同相性の結語： 証明 1 (i) で示した通り、恒等写像 $\mathrm{id} \colon X \to Y$ は連続である。 「コンパクト空間から Hausdorff 空間への連続な全単射は同相写像である」という位相空間論の基本定理を適用する。 実際、$X$ の任意の閉集合 $K$ はコンパクト空間の閉部分集合としてコンパクトであり、連続像 $\mathrm{id}(K)$ も $Y$ でコンパクトである。$Y$ は Hausdorff であるから $\mathrm{id}(K)$ は $Y$ の閉集合となる。したがって $\mathrm{id}$ は閉写像であり、全単射連続閉写像であるから同相写像である。

【必要性の証明】
定理 2.1, 定理 2.2, 定理 2.3 において $2^\mathbb{N}$ がこれらの 4 つの性質を満たすことはすでに証明されている。同相写像はこれらの位相的性質をすべて保存するため、$X \cong 2^\mathbb{N}$ ならば $X$ もこれらの性質を満たす。

【十分性の証明】
$X$ を条件 1〜4 を満たす空間とする。$X$ 上に相応する完備距離 $d$ を固定する（コンパクト性より距離空間の有界性・完備性が保証される）。$X$ の径を $\mathrm{diam}(A) = \sup \{ d(x, y) \mid x, y \in A \}$ で表す。証明は以下の段階に分けて与えられる。

段階 1 (clopen 分割の一般構成法):
$X$ はコンパクト完全不連結 Hausdorff 空間であるため、定理 2.2 より零次元である（clopen 集合からなる開基を持つ）。 任意の非空 clopen 集合 $U \subset X$ と任意の $\varepsilon > 0$ に対して、$U$ を互いに素な 2 つの非空 clopen 集合の和集合 $U = U_0 \sqcup U_1$ に分割でき、かつ $\mathrm{diam}(U_0) < \varepsilon, \mathrm{diam}(U_1) < \varepsilon$ とできることを示す。
まず、$U$ の各点 $x \in U$ に対し、$x$ を含み径が $\varepsilon$ 未満である clopen 近傍 $W_x \subset U$ をとる（零次元性より可能）。族 $\{ W_x \}_{x \in U}$ は $U$ の開被覆をなす。$U$ はコンパクト空間 $X$ の閉部分集合であるからコンパクトである。ゆえに有限部分被覆 $\{ W_{x_1}, \dots, W_{x_m} \}$ がとれる。これらを重複なく重複部分を取り除くことで、$U$ は互いに素な非空 clopen 集合の有限族 $U = V_1 \sqcup V_2 \sqcup \dots \sqcup V_m$ ($m \ge 1$, 各 $\mathrm{diam}(V_j) < \varepsilon$) に分割される。
もし $m = 1$ であれば、$V_1 = U$ である。$X$ は孤立点を持たないため、$U$ は 2 点以上を含む。相異なる 2 点 $p, q \in U$ をとると、完全不連結性（零次元性）より $p \in A, q \notin A$ となる clopen 集合 $A \subset U$ がとれる。$U_0 = A, U_1 = U \smallsetminus A$ とおけば、これらはともに非空な clopen 集合であり、$U = U_0 \sqcup U_1$ かつ $\mathrm{diam}(U_i) \le \mathrm{diam}(U) < \varepsilon$ となる。
$m \ge 2$ の場合は、$U_0 = V_1$ および $U_1 = V_2 \cup \dots \cup V_m$ とおけば、両者は非空 clopen 集合であり $U = U_0 \sqcup U_1$ となる。これを繰り返し適用することで、径を任意に小さくしながら各 clopen 集合をちょうど 2 つの非空 clopen 集合に分割できる。

段階 2 (Cantor ツリーの構成):
長さ $n$ の 0, 1 系列の集合を $2^n$ とし、有限系列全体の集合を $2^{ < \mathbb{N}} = \bigcup_{n=0}^\infty 2^n$ とおく。空系列を $\emptyset$ とする。 $2^{ < \mathbb{N}}$ の各元 $s = (s_0, s_1, \dots, s_{n-1})$ に対して、以下の条件 1〜4 を満たす $X$ の非空 clopen 集合の族 $\{ X_s \}_{s \in 2^{ < \mathbb{N}}}$ を帰納的に構成する：

1. $X_\emptyset = X$
2. 任意の $s \in 2^{ < \mathbb{N}}$ に対し、$X_s = X_{s \smallfrown 0} \sqcup X_{s \smallfrown 1}$（ただし $s \smallfrown i$ は $s$ の末尾に $i \in \{0, 1\}$ を結合した系列）
3. $X_{s \smallfrown 0}$ と $X_{s \smallfrown 1}$ はともに非空な clopen 集合
4. $s$ の長さが $n$ のとき、$\mathrm{diam}(X_s) \le 2^{-n}$

（構成）$n=0$ では $X_\emptyset = X$ であり成立する。 $n$ 段階まで構成されたとする。長さ $n$ の各 $s \in 2^n$ に対し、$X_s$ は非空 clopen 集合である。段階 1 の結果を $U = X_s$ および $\varepsilon = 2^{-(n+1)}$ に適用することにより、$X_s = X_{s \smallfrown 0} \sqcup X_{s \smallfrown 1}$ となる非空 clopen 集合 $X_{s \smallfrown 0}, X_{s \smallfrown 1}$ で径が $2^{-(n+1)}$ 以下のものを構成できる。これをすべての $s \in 2^n$ に対して行うことで、帰納ステップが完了する。

段階 3 (同相写像の定義と完結):
無限数列 $x = (x_0, x_1, x_2, \dots) \in 2^\mathbb{N}$ に対し、$x \mathbin{\upharpoonright} n = (x_0, \dots, x_{n-1}) \in 2^n$ とする。 減少閉集合列 $X_{x \mathbin{\upharpoonright} 0} \supset X_{x \mathbin{\upharpoonright} 1} \supset X_{x \mathbin{\upharpoonright} 2} \supset \dots$ を考える。 $X$ はコンパクト（完備）であり、各 $X_{x \mathbin{\upharpoonright} n}$ は非空閉集合で $\mathrm{diam}(X_{x \mathbin{\upharpoonright} n}) \le 2^{-n} \to 0$ であるため、 Cantor の積集合定理 (Nested Set Theorem) より、共通部分はただ 1 点からなる： $$ \bigcap_{n=0}^\infty X_{x \mathbin{\upharpoonright} n} = \{ f(x) \} $$ これにより写像 $f \colon 2^\mathbb{N} \to X$ が定まる。
・単射性： $x \neq y \in 2^\mathbb{N}$ とし、$x$ と $y$ が初めて異なる第 $k$ 座標を $x_k \neq y_k$ とする。 $s = x \mathbin{\upharpoonright} k = y \mathbin{\upharpoonright} k$ とおくと、$f(x) \in X_{s \smallfrown x_k}$, $f(y) \in X_{s \smallfrown y_k}$ である。 構成より $X_{s \smallfrown 0} \cap X_{s \smallfrown 1} = \varnothing$ であるから、$f(x) \neq f(y)$ となり単射である。
・全射性： 任意の $p \in X$ をとる。各 $n \in \mathbb{N}$ について $p \in X_s$ となる長さ $n$ の系列 $s \in 2^n$ が唯一存在する（各段階で分割をなすため）。これを $s^{(n)}$ とすると、$s^{(n+1)}$ は $s^{(n)}$ の拡張になっている。したがって無限数列 $x = (x_0, x_1, \dots) \in 2^\mathbb{N}$ で $x \mathbin{\upharpoonright} n = s^{(n)}$ なるものが一意に決まり、$p \in \bigcap_{n=0}^\infty X_{x \mathbin{\upharpoonright} n}$ 即ち $f(x) = p$ となる。ゆえに全射である。
・連続性： 任意の $x \in 2^\mathbb{N}$ と $\varepsilon > 0$ に対し、$2^{-N} < \varepsilon$ なる $N \in \mathbb{N}$ をとる。 $2^\mathbb{N}$ の基本開近傍 $U(x_0, \dots, x_{N-1})$ をとると、任意の $y \in U(x_0, \dots, x_{N-1})$ に対し $y \mathbin{\upharpoonright} N = x \mathbin{\upharpoonright} N$ である。 ゆえに $f(x), f(y) \in X_{x \mathbin{\upharpoonright} N}$ となり、 $$ d(f(x), f(y)) \le \mathrm{diam}(X_{x \mathbin{\upharpoonright} N}) \le 2^{-N} < \varepsilon $$ となるため $f$ は連続である。
・同相性： $2^\mathbb{N}$ はコンパクトであり、$X$ は Hausdorff である。コンパクト空間から Hausdorff 空間への連続全単射 $f$ は同相写像である。 したがって、$X \cong 2^\mathbb{N}$ である。

【必要性の証明】
定理 3.1 および定理 3.2 より、ベール空間 $\mathbb{N}^\mathbb{N}$ は Polish であり、零次元であり、どの点においても局所コンパクトでない。位相的性質の不変性より、$X \cong \mathbb{N}^\mathbb{N}$ ならば $X$ もこれらの性質を満たす。

【十分性の証明】
$X$ を条件 1〜3 を満たす空間とする。$X$ 上の完備距離 $d \le 1$ を 1 つ固定する。以下の段階を踏んで $\mathbb{N}^\mathbb{N}$ との同相写像を構成する。

段階 1 (局所非コンパクト性と可算無限 clopen 分割):
$U$ を $X$ の任意の非空 clopen 部分集合とする。このとき、$U$ は互いに素な可算無限個の非空 clopen 集合の和に分割できることを示す： $$ U = \bigsqcup_{i=0}^\infty U_i $$ （証明）$X$ はどの点でも局所コンパクトでないため、$U$ はコンパクトになり得ない（もし $U$ がコンパクトなら、$U$ 内の点はコンパクト近傍を持つことになり矛盾）。 $U$ が零次元かつ非コンパクトであることから、$U$ の無限開被覆で有限部分被覆を持たないものが存在する。零次元性より、被覆の各元を clopen 集合で置き換えることで、$U$ は互いに素な可算無限個の非空 clopen 集合 $\{ V_k \}_{k=0}^\infty$ の和 $U = \bigsqcup_{k=0}^\infty V_k$ として表される。

段階 2 (径が 0 に収束する clopen 分割の精密化):
さらに、段階 1 で得られた可算無限個の clopen 分割 $U = \bigsqcup_{i=0}^\infty U_i$ において、任意の $\varepsilon > 0$ に対して各 $U_i$ の径を $\mathrm{diam}(U_i) < \varepsilon$ に制御できることを示す。
（証明）各 $V_k$ 内の任意の点 $x \in V_k$ に対して、径が $\varepsilon$ 未満となる clopen 近傍 $W_x \subset V_k$ をとる。$V_k = \bigcup_{x \in V_k} W_x$ である。 可分距離化可能空間（Lindelöf 空間）の任意の部分集合の開被覆からは、可算部分被覆が選べる。重複部分を順次取り除く標準的な手法（$W'_0 = W_0, W'_m = W_m \smallsetminus \bigcup_{j=0}^{m-1} W_j$）を用いることで、各 $V_k$ 自体を径が $\varepsilon$ 未満の可算個の非空 clopen 集合の和に分割できる。可算個の可算和は可算であるため、全体として $U$ は径が $\varepsilon$ 未満の可算無限個の非空 clopen 集合 $\{ U_i \}_{i=0}^\infty$ の非交和に分割される。

段階 3 (Baire ツリーの構成):
自然数の有限列全体の集合を $\mathbb{N}^{ < \mathbb{N}} = \bigcup_{n=0}^\infty \mathbb{N}^n$ とおく（空列を $\emptyset$ とする）。 $\mathbb{N}^{ < \mathbb{N}}$ の各元 $s = (s_0, s_1, \dots, s_{n-1})$ に対して、以下の条件 1〜4 を満たす $X$ の非空 clopen 集合の族 $\{ X_s \}_{s \in \mathbb{N}^{ < \mathbb{N}}}$ を帰納的に構成する：

1. $X_\emptyset = X$
2. 任意の $s \in \mathbb{N}^{ < \mathbb{N}}$ に対し、$X_s = \bigsqcup_{i=0}^\infty X_{s \smallfrown i}$ （ただし $s \smallfrown i = (s_0, \dots, s_{n-1}, i)$）
3. 各 $X_{s \smallfrown i}$ は非空な clopen 集合
4. $s$ の長さが $n$ のとき、$\mathrm{diam}(X_s) \le 2^{-n}$

（構成）$n=0$ では $X_\emptyset = X$ （$\mathrm{diam}(X) \le 1$）で成立する。 $n$ 段階まで条件を満たすように構成されたとする。長さ $n$ の各 $s \in \mathbb{N}^n$ に対し、$X_s$ は非空 clopen 集合である。段階 2 の結果を $U = X_s$ および $\varepsilon = 2^{-(n+1)}$ に適用すると、$X_s = \bigsqcup_{i=0}^\infty X_{s \smallfrown i}$ と分割でき、各 $X_{s \smallfrown i}$ は非空 clopen かつ $\mathrm{diam}(X_{s \smallfrown i}) \le 2^{-(n+1)}$ となる。これをすべての $s \in \mathbb{N}^n$ に適用することで可算選択公理の下で帰納ステップが完了する。

段階 4 (同相写像の構成と証明):
無限数列 $\alpha = (\alpha_0, \alpha_1, \alpha_2, \dots) \in \mathbb{N}^\mathbb{N}$ に対し、その長さ $n$ の初期切片を $\alpha \mathbin{\upharpoonright} n = (\alpha_0, \dots, \alpha_{n-1}) \in \mathbb{N}^n$ とする。 減少閉集合列 $X_{\alpha \mathbin{\upharpoonright} 0} \supset X_{\alpha \mathbin{\upharpoonright} 1} \supset X_{\alpha \mathbin{\upharpoonright} 2} \supset \dots$ を考える。 距離空間 $X$ は完備であり、各 $X_{\alpha \mathbin{\upharpoonright} n}$ は非空閉集合で $\mathrm{diam}(X_{\alpha \mathbin{\upharpoonright} n}) \le 2^{-n} \to 0$ である。完備距離空間における Cantor の積集合定理より、共通部分はただ 1 点からなる： $$ \bigcap_{n=0}^\infty X_{\alpha \mathbin{\upharpoonright} n} = \{ g(\alpha) \} $$ これにより写像 $g \colon \mathbb{N}^\mathbb{N} \to X$ を定義する。
・単射性： $\alpha \neq \beta \in \mathbb{N}^\mathbb{N}$ とし、$k = \min \{ n \mid \alpha_n \neq \beta_n \}$ とする。 $s = \alpha \mathbin{\upharpoonright} k = \beta \mathbin{\upharpoonright} k$ とおくと、$g(\alpha) \in X_{s \smallfrown \alpha_k}$, $g(\beta) \in X_{s \smallfrown \beta_k}$ である。 $\alpha_k \neq \beta_k$ より $X_{s \smallfrown \alpha_k} \cap X_{s \smallfrown \beta_k} = \varnothing$ であるため、$g(\alpha) \neq g(\beta)$ である。
・全射性： 任意の $x \in X$ をとる。$x \in X_\emptyset = X$ である。 $x \in X_{\alpha \mathbin{\upharpoonright} n}$ まで定まったとき、$X_{\alpha \mathbin{\upharpoonright} n} = \bigsqcup_{i=0}^\infty X_{(\alpha \mathbin{\upharpoonright} n) \smallfrown i}$ であるから、$x$ を含む $X_{(\alpha \mathbin{\upharpoonright} n) \smallfrown i}$ が唯一存在する。そのインデックスを $\alpha_n$ と定義する。 この帰納的プロセスにより一意な数列 $\alpha = (\alpha_0, \alpha_1, \dots) \in \mathbb{N}^\mathbb{N}$ が定まり、$x \in \bigcap_{n=0}^\infty X_{\alpha \mathbin{\upharpoonright} n}$ すなわち $g(\alpha) = x$ となる。ゆえに $g$ は全射である。
・連続性： 任意の $\alpha \in \mathbb{N}^\mathbb{N}$ と $\varepsilon > 0$ に対し、$2^{-N} < \varepsilon$ となる $N \in \mathbb{N}$ をとる。 $\mathbb{N}^\mathbb{N}$ の基本開近傍 $U(\alpha_0, \dots, \alpha_{N-1})$ をとる。 任意の $\beta \in U(\alpha_0, \dots, \alpha_{N-1})$ について $\beta \mathbin{\upharpoonright} N = \alpha \mathbin{\upharpoonright} N$ であるから、$g(\alpha), g(\beta) \in X_{\alpha \mathbin{\upharpoonright} N}$ である。 したがって $d(g(\alpha), g(\beta)) \le \mathrm{diam}(X_{\alpha \mathbin{\upharpoonright} N}) \le 2^{-N} < \varepsilon$ となり、$g$ は連続である。
・逆写像 $g^{-1}$ の連続性： $X$ の基本開集合として clopen 集合 $X_s$ ($s = (s_0, \dots, s_{k-1}) \in \mathbb{N}^k$) をとる。 定義より $g$ による逆像は $g^{-1}(X_s) = U(s_0, \dots, s_{k-1})$ となり、これは $\mathbb{N}^\mathbb{N}$ のシリンダー開集合である。 族 $\{ X_s \}_{s \in \mathbb{N}^{ < \mathbb{N}}}$ は $\mathrm{diam}(X_s) \to 0$ を満たすため、$X$ の開基をなす。 開基の像が開集合となるため、$g$ は開写像であり、したがって $g^{-1}$ は連続である。
以上より、$g \colon \mathbb{N}^\mathbb{N} \to X$ は同相写像である。ゆえに $X \cong \mathbb{N}^\mathbb{N}$ である。